KindDeq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$union{-}deq(IdLnk$\times$Id;Id;product{-}deq(IdLnk;Id;IdLnkDeq;IdDeq);IdDeq)